(0
 (
  ("(x 6)" 3 10)
  ("(x 5)" 10 15)
  ("(x 4)" 15 18)
  ("(x 3)" 18 20)
  ("(x 2)" 20 25)
  ("(x 1)" 25 46)
  ("(x 2)" 46 51)
  ("(x 3)" 51 54)
  ("(x 4)" 54 57)
  ("(x 5)" 57 61)
  ("(x 6)" 61 87)
  ("(x 5)" 87 92)
  ("(x 4)" 92 95)
  ("(x 3)" 95 99)
  ("(x 2)" 99 108)
  ("(x 1)" 108 121)
  ("(x up)" 4 33)
  ("(x stable)" 33 39)
  ("(x down)" 39 73)
  ("(x stable)" 73 78)
  ("(x up)" 78 121)
  ("(y 1)" 3 44)
  ("(y 2)" 44 50)
  ("(y 3)" 50 54)
  ("(y 4)" 54 58)
  ("(y 5)" 58 121)
  ("(y stable)" 4 7)
  ("(y up)" 7 27)
  ("(y stable)" 27 31)
  ("(y down)" 31 73)
  ("(y stable)" 73 96)
  ("(y up)" 96 103)
  ("(y stable)" 103 115)
  ("(y down)" 115 121)
 ))
(1
 (
  ("(x 5)" 3 47)
  ("(x 4)" 47 49)
  ("(x 3)" 49 51)
  ("(x 2)" 51 54)
  ("(x 1)" 54 84)
  ("(x 2)" 84 88)
  ("(x 3)" 88 91)
  ("(x 4)" 91 94)
  ("(x 5)" 94 99)
  ("(x 6)" 99 115)
  ("(x 5)" 115 119)
  ("(x 4)" 119 122)
  ("(x 3)" 122 125)
  ("(x 2)" 125 137)
  ("(x 1)" 137 139)
  ("(x down)" 4 6)
  ("(x stable)" 6 33)
  ("(x down)" 33 40)
  ("(x up)" 40 65)
  ("(x stable)" 65 68)
  ("(x down)" 68 106)
  ("(x stable)" 106 107)
  ("(x up)" 107 139)
  ("(y 2)" 3 50)
  ("(y 1)" 50 70)
  ("(y 2)" 70 79)
  ("(y 3)" 79 84)
  ("(y 4)" 84 90)
  ("(y 5)" 90 96)
  ("(y 6)" 96 139)
  ("(y up)" 4 10)
  ("(y stable)" 10 24)
  ("(y up)" 24 31)
  ("(y stable)" 31 36)
  ("(y up)" 36 60)
  ("(y stable)" 60 63)
  ("(y down)" 63 112)
  ("(y stable)" 112 113)
  ("(y up)" 113 134)
  ("(y stable)" 134 136)
  ("(y down)" 136 139)
 ))
(2
 (
  ("(x 6)" 3 7)
  ("(x 5)" 7 11)
  ("(x 4)" 11 13)
  ("(x 3)" 13 15)
  ("(x 2)" 15 18)
  ("(x 1)" 18 37)
  ("(x 2)" 37 40)
  ("(x 3)" 40 43)
  ("(x 4)" 43 46)
  ("(x 5)" 46 53)
  ("(x 6)" 53 70)
  ("(x 5)" 70 74)
  ("(x 4)" 74 77)
  ("(x 3)" 77 81)
  ("(x 2)" 81 87)
  ("(x 1)" 87 88)
  ("(x up)" 4 28)
  ("(x down)" 28 63)
  ("(x stable)" 63 64)
  ("(x up)" 64 88)
  ("(y 1)" 3 30)
  ("(y 2)" 30 38)
  ("(y 3)" 38 44)
  ("(y 4)" 44 50)
  ("(y 5)" 50 59)
  ("(y 6)" 59 88)
  ("(y up)" 4 16)
  ("(y stable)" 16 17)
  ("(y down)" 17 69)
  ("(y up)" 69 88)
 ))
(3
 (
  ("(x 6)" 3 9)
  ("(x 5)" 9 11)
  ("(x 4)" 11 13)
  ("(x 3)" 13 15)
  ("(x 2)" 15 17)
  ("(x 1)" 17 28)
  ("(x 2)" 28 32)
  ("(x 3)" 32 35)
  ("(x 4)" 35 39)
  ("(x 5)" 39 44)
  ("(x 6)" 44 56)
  ("(x 5)" 56 60)
  ("(x 4)" 60 62)
  ("(x 3)" 62 64)
  ("(x 2)" 64 67)
  ("(x 1)" 67 74)
  ("(x up)" 4 23)
  ("(x down)" 23 50)
  ("(x stable)" 50 51)
  ("(x up)" 51 74)
  ("(y 1)" 3 27)
  ("(y 2)" 27 34)
  ("(y 3)" 34 39)
  ("(y 4)" 39 43)
  ("(y 5)" 43 51)
  ("(y 6)" 51 74)
  ("(y stable)" 4 5)
  ("(y up)" 5 18)
  ("(y stable)" 18 19)
  ("(y down)" 19 61)
  ("(y stable)" 61 62)
  ("(y up)" 62 74)
 ))
(4
 (
  ("(x 6)" 3 4)
  ("(x 5)" 4 8)
  ("(x 4)" 8 10)
  ("(x 3)" 10 12)
  ("(x 2)" 12 15)
  ("(x 1)" 15 23)
  ("(x 2)" 23 26)
  ("(x 3)" 26 28)
  ("(x 4)" 28 30)
  ("(x 5)" 30 34)
  ("(x 6)" 34 48)
  ("(x 5)" 48 52)
  ("(x 4)" 52 55)
  ("(x 3)" 55 57)
  ("(x 2)" 57 60)
  ("(x 1)" 60 67)
  ("(x up)" 4 20)
  ("(x down)" 20 41)
  ("(x up)" 41 67)
  ("(y 1)" 3 23)
  ("(y 2)" 23 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 36)
  ("(y 5)" 36 44)
  ("(y 6)" 44 58)
  ("(y 5)" 58 67)
  ("(y up)" 4 8)
  ("(y stable)" 8 10)
  ("(y down)" 10 52)
  ("(y up)" 52 67)
 ))
(5
 (
  ("(x 6)" 3 7)
  ("(x 5)" 7 9)
  ("(x 4)" 9 11)
  ("(x 3)" 11 13)
  ("(x 2)" 13 16)
  ("(x 1)" 16 34)
  ("(x 2)" 34 40)
  ("(x 3)" 40 44)
  ("(x 4)" 44 49)
  ("(x 5)" 49 56)
  ("(x 6)" 56 76)
  ("(x 5)" 76 81)
  ("(x 4)" 81 84)
  ("(x 3)" 84 87)
  ("(x 2)" 87 97)
  ("(x 1)" 97 98)
  ("(x up)" 4 24)
  ("(x stable)" 24 25)
  ("(x down)" 25 67)
  ("(x stable)" 67 69)
  ("(x up)" 69 98)
  ("(y 1)" 3 33)
  ("(y 2)" 33 41)
  ("(y 3)" 41 47)
  ("(y 4)" 47 54)
  ("(y 5)" 54 63)
  ("(y 6)" 63 86)
  ("(y 5)" 86 98)
  ("(y up)" 4 17)
  ("(y stable)" 17 24)
  ("(y down)" 24 75)
  ("(y up)" 75 90)
  ("(y stable)" 90 98)
 ))
(6
 (
  ("(x 6)" 3 6)
  ("(x 5)" 6 12)
  ("(x 4)" 12 15)
  ("(x 3)" 15 18)
  ("(x 2)" 18 21)
  ("(x 1)" 21 42)
  ("(x 2)" 42 46)
  ("(x 3)" 46 49)
  ("(x 4)" 49 53)
  ("(x 5)" 53 58)
  ("(x 6)" 58 84)
  ("(x 5)" 84 88)
  ("(x 4)" 88 91)
  ("(x 3)" 91 94)
  ("(x 2)" 94 106)
  ("(x 1)" 106 111)
  ("(x up)" 4 32)
  ("(x stable)" 32 35)
  ("(x down)" 35 72)
  ("(x stable)" 72 77)
  ("(x up)" 77 111)
  ("(y 1)" 3 39)
  ("(y 2)" 39 45)
  ("(y 3)" 45 51)
  ("(y 4)" 51 58)
  ("(y 5)" 58 75)
  ("(y 6)" 75 97)
  ("(y 5)" 97 111)
  ("(y up)" 4 7)
  ("(y stable)" 7 26)
  ("(y down)" 26 86)
  ("(y stable)" 86 88)
  ("(y up)" 88 103)
  ("(y stable)" 103 111)
 ))
(7
 (
  ("(x 2)" 3 4)
  ("(x 3)" 4 17)
  ("(x 4)" 17 26)
  ("(x 5)" 26 32)
  ("(x 6)" 32 52)
  ("(x 5)" 52 57)
  ("(x 4)" 57 60)
  ("(x 3)" 60 63)
  ("(x 2)" 63 67)
  ("(x 1)" 67 92)
  ("(x 2)" 92 95)
  ("(x 3)" 95 97)
  ("(x 4)" 97 100)
  ("(x 5)" 100 109)
  ("(x 6)" 109 125)
  ("(x 5)" 125 130)
  ("(x 4)" 130 132)
  ("(x 3)" 132 135)
  ("(x 2)" 135 139)
  ("(x 1)" 139 147)
  ("(x down)" 4 41)
  ("(x stable)" 41 46)
  ("(x up)" 46 84)
  ("(x stable)" 84 85)
  ("(x down)" 85 117)
  ("(x stable)" 117 121)
  ("(x up)" 121 147)
  ("(y 2)" 3 86)
  ("(y 3)" 86 91)
  ("(y 4)" 91 95)
  ("(y 5)" 95 104)
  ("(y 6)" 104 147)
  ("(y up)" 4 16)
  ("(y stable)" 16 26)
  ("(y down)" 26 33)
  ("(y stable)" 33 50)
  ("(y up)" 50 62)
  ("(y down)" 62 127)
  ("(y stable)" 127 128)
  ("(y up)" 128 143)
  ("(y stable)" 143 144)
  ("(y down)" 144 147)
 ))
(8
 (
  ("(x 1)" 3 9)
  ("(x 2)" 9 43)
  ("(x 3)" 43 48)
  ("(x 4)" 48 56)
  ("(x 5)" 56 65)
  ("(x 6)" 65 95)
  ("(x 5)" 95 102)
  ("(x 4)" 102 107)
  ("(x 3)" 107 114)
  ("(x 2)" 114 120)
  ("(x 1)" 120 145)
  ("(x 2)" 145 149)
  ("(x 3)" 149 151)
  ("(x 4)" 151 154)
  ("(x 5)" 154 160)
  ("(x 6)" 160 185)
  ("(x 5)" 185 189)
  ("(x 4)" 189 192)
  ("(x 3)" 192 194)
  ("(x 2)" 194 198)
  ("(x 1)" 198 208)
  ("(x down)" 4 12)
  ("(x stable)" 12 20)
  ("(x down)" 20 76)
  ("(x stable)" 76 79)
  ("(x up)" 79 137)
  ("(x down)" 137 171)
  ("(x stable)" 171 175)
  ("(x up)" 175 208)
  ("(y 2)" 3 63)
  ("(y 3)" 63 99)
  ("(y 2)" 99 143)
  ("(y 3)" 143 148)
  ("(y 4)" 148 152)
  ("(y 5)" 152 158)
  ("(y 6)" 158 208)
  ("(y up)" 4 12)
  ("(y stable)" 12 26)
  ("(y up)" 26 33)
  ("(y stable)" 33 38)
  ("(y down)" 38 74)
  ("(y stable)" 74 84)
  ("(y up)" 84 91)
  ("(y stable)" 91 92)
  ("(y up)" 92 121)
  ("(y stable)" 121 128)
  ("(y down)" 128 179)
  ("(y stable)" 179 180)
  ("(y down)" 180 183)
  ("(y stable)" 183 185)
  ("(y up)" 185 201)
  ("(y stable)" 201 206)
  ("(y down)" 206 208)
 ))
(9
 (
  ("(x 6)" 3 17)
  ("(x 5)" 17 23)
  ("(x 4)" 23 25)
  ("(x 3)" 25 28)
  ("(x 2)" 28 32)
  ("(x 1)" 32 51)
  ("(x 2)" 51 57)
  ("(x 3)" 57 60)
  ("(x 4)" 60 63)
  ("(x 5)" 63 67)
  ("(x 6)" 67 85)
  ("(x 5)" 85 88)
  ("(x 4)" 88 91)
  ("(x 3)" 91 94)
  ("(x 2)" 94 98)
  ("(x 1)" 98 108)
  ("(x down)" 4 5)
  ("(x stable)" 5 14)
  ("(x up)" 14 40)
  ("(x stable)" 40 45)
  ("(x down)" 45 77)
  ("(x up)" 77 108)
  ("(y 1)" 3 39)
  ("(y 2)" 39 54)
  ("(y 3)" 54 59)
  ("(y 4)" 59 64)
  ("(y 5)" 64 71)
  ("(y 6)" 71 103)
  ("(y 5)" 103 108)
  ("(y up)" 4 6)
  ("(y stable)" 6 30)
  ("(y down)" 30 85)
  ("(y stable)" 85 87)
  ("(y up)" 87 108)
 ))
(10
 (
  ("(x 6)" 3 18)
  ("(x 5)" 18 22)
  ("(x 4)" 22 24)
  ("(x 3)" 24 26)
  ("(x 2)" 26 29)
  ("(x 1)" 29 45)
  ("(x 2)" 45 48)
  ("(x 3)" 48 51)
  ("(x 4)" 51 54)
  ("(x 5)" 54 63)
  ("(x 6)" 63 70)
  ("(x 5)" 70 75)
  ("(x 4)" 75 78)
  ("(x 3)" 78 80)
  ("(x 2)" 80 84)
  ("(x 1)" 84 94)
  ("(x stable)" 4 9)
  ("(x up)" 9 37)
  ("(x stable)" 37 38)
  ("(x down)" 38 67)
  ("(x stable)" 67 68)
  ("(x up)" 68 90)
  ("(x stable)" 90 94)
  ("(y 1)" 3 33)
  ("(y 2)" 33 45)
  ("(y 3)" 45 50)
  ("(y 4)" 50 56)
  ("(y 5)" 56 67)
  ("(y 6)" 67 94)
  ("(y stable)" 4 9)
  ("(y down)" 9 21)
  ("(y stable)" 21 26)
  ("(y down)" 26 79)
  ("(y stable)" 79 82)
  ("(y up)" 82 89)
  ("(y stable)" 89 94)
 ))
(11
 (
  ("(x 5)" 3 13)
  ("(x 4)" 13 16)
  ("(x 3)" 16 19)
  ("(x 2)" 19 36)
  ("(x 3)" 36 39)
  ("(x 4)" 39 43)
  ("(x 5)" 43 48)
  ("(x 6)" 48 67)
  ("(x 5)" 67 71)
  ("(x 4)" 71 73)
  ("(x 3)" 73 75)
  ("(x 2)" 75 78)
  ("(x 1)" 78 92)
  ("(x stable)" 4 6)
  ("(x up)" 6 27)
  ("(x stable)" 27 29)
  ("(x down)" 29 59)
  ("(x up)" 59 87)
  ("(x stable)" 87 90)
  ("(x down)" 90 92)
  ("(y 1)" 3 32)
  ("(y 2)" 32 39)
  ("(y 3)" 39 44)
  ("(y 4)" 44 50)
  ("(y 5)" 50 61)
  ("(y 6)" 61 83)
  ("(y 5)" 83 92)
  ("(y down)" 4 71)
  ("(y up)" 71 86)
  ("(y stable)" 86 89)
  ("(y up)" 89 92)
 ))
(12
 (
  ("(x 5)" 3 20)
  ("(x 4)" 20 23)
  ("(x 3)" 23 25)
  ("(x 2)" 25 29)
  ("(x 1)" 29 43)
  ("(x 2)" 43 48)
  ("(x 3)" 48 52)
  ("(x 4)" 52 57)
  ("(x 5)" 57 66)
  ("(x 6)" 66 87)
  ("(x 5)" 87 91)
  ("(x 4)" 91 94)
  ("(x 3)" 94 96)
  ("(x 2)" 96 100)
  ("(x 1)" 100 118)
  ("(x stable)" 4 14)
  ("(x up)" 14 37)
  ("(x stable)" 37 38)
  ("(x down)" 38 79)
  ("(x stable)" 79 81)
  ("(x up)" 81 110)
  ("(x stable)" 110 118)
  ("(y 1)" 3 42)
  ("(y 2)" 42 49)
  ("(y 3)" 49 56)
  ("(y 4)" 56 64)
  ("(y 5)" 64 76)
  ("(y 6)" 76 102)
  ("(y 5)" 102 118)
  ("(y stable)" 4 14)
  ("(y up)" 14 26)
  ("(y stable)" 26 27)
  ("(y down)" 27 89)
  ("(y stable)" 89 90)
  ("(y up)" 90 108)
  ("(y stable)" 108 118)
 ))
(13
 (
  ("(x 6)" 3 16)
  ("(x 5)" 16 22)
  ("(x 4)" 22 25)
  ("(x 3)" 25 28)
  ("(x 2)" 28 36)
  ("(x 1)" 36 40)
  ("(x 2)" 40 48)
  ("(x 3)" 48 51)
  ("(x 4)" 51 55)
  ("(x 5)" 55 61)
  ("(x 6)" 61 73)
  ("(x 5)" 73 77)
  ("(x 4)" 77 79)
  ("(x 3)" 79 81)
  ("(x 2)" 81 84)
  ("(x 1)" 84 96)
  ("(x down)" 4 5)
  ("(x stable)" 5 13)
  ("(x up)" 13 38)
  ("(x stable)" 38 39)
  ("(x down)" 39 68)
  ("(x stable)" 68 69)
  ("(x up)" 69 94)
  ("(x stable)" 94 95)
  ("(x down)" 95 96)
  ("(y 1)" 3 29)
  ("(y 2)" 29 46)
  ("(y 3)" 46 52)
  ("(y 4)" 52 57)
  ("(y 5)" 57 65)
  ("(y 6)" 65 96)
  ("(y stable)" 4 13)
  ("(y down)" 13 76)
  ("(y stable)" 76 77)
  ("(y up)" 77 94)
  ("(y stable)" 94 96)
 ))
(14
 (
  ("(x 6)" 3 8)
  ("(x 5)" 8 12)
  ("(x 4)" 12 15)
  ("(x 3)" 15 18)
  ("(x 2)" 18 39)
  ("(x 3)" 39 43)
  ("(x 4)" 43 46)
  ("(x 5)" 46 50)
  ("(x 6)" 50 68)
  ("(x 5)" 68 71)
  ("(x 4)" 71 73)
  ("(x 3)" 73 75)
  ("(x 2)" 75 77)
  ("(x 1)" 77 88)
  ("(x up)" 4 29)
  ("(x stable)" 29 31)
  ("(x down)" 31 60)
  ("(x stable)" 60 61)
  ("(x up)" 61 87)
  ("(x down)" 87 88)
  ("(y 1)" 3 31)
  ("(y 2)" 31 40)
  ("(y 3)" 40 45)
  ("(y 4)" 45 50)
  ("(y 5)" 50 59)
  ("(y 6)" 59 82)
  ("(y 5)" 82 88)
  ("(y down)" 4 9)
  ("(y stable)" 9 11)
  ("(y up)" 11 18)
  ("(y stable)" 18 23)
  ("(y down)" 23 70)
  ("(y up)" 70 87)
  ("(y stable)" 87 88)
 ))
(15
 (
  ("(x 6)" 3 14)
  ("(x 5)" 14 17)
  ("(x 4)" 17 20)
  ("(x 3)" 20 23)
  ("(x 2)" 23 40)
  ("(x 3)" 40 44)
  ("(x 4)" 44 48)
  ("(x 5)" 48 58)
  ("(x 6)" 58 64)
  ("(x 5)" 64 71)
  ("(x 4)" 71 74)
  ("(x 3)" 74 76)
  ("(x 2)" 76 79)
  ("(x 1)" 79 92)
  ("(x stable)" 4 5)
  ("(x up)" 5 32)
  ("(x stable)" 32 34)
  ("(x down)" 34 61)
  ("(x stable)" 61 62)
  ("(x up)" 62 92)
  ("(y 2)" 3 8)
  ("(y 1)" 8 36)
  ("(y 2)" 36 42)
  ("(y 3)" 42 47)
  ("(y 4)" 47 52)
  ("(y 5)" 52 60)
  ("(y 6)" 60 84)
  ("(y 5)" 84 92)
  ("(y up)" 4 26)
  ("(y down)" 26 72)
  ("(y stable)" 72 73)
  ("(y up)" 73 92)
 ))
(16
 (
  ("(x 6)" 3 18)
  ("(x 5)" 18 22)
  ("(x 4)" 22 24)
  ("(x 3)" 24 27)
  ("(x 2)" 27 31)
  ("(x 1)" 31 45)
  ("(x 2)" 45 50)
  ("(x 3)" 50 53)
  ("(x 4)" 53 56)
  ("(x 5)" 56 62)
  ("(x 6)" 62 81)
  ("(x 5)" 81 84)
  ("(x 4)" 84 87)
  ("(x 3)" 87 90)
  ("(x 2)" 90 94)
  ("(x 1)" 94 110)
  ("(x down)" 4 6)
  ("(x stable)" 6 15)
  ("(x up)" 15 39)
  ("(x stable)" 39 40)
  ("(x down)" 40 69)
  ("(x stable)" 69 75)
  ("(x up)" 75 108)
  ("(x stable)" 108 110)
  ("(y 1)" 3 40)
  ("(y 2)" 40 48)
  ("(y 3)" 48 54)
  ("(y 4)" 54 60)
  ("(y 5)" 60 74)
  ("(y 6)" 74 107)
  ("(y 5)" 107 110)
  ("(y stable)" 4 24)
  ("(y down)" 24 88)
  ("(y up)" 88 104)
  ("(y stable)" 104 105)
  ("(y up)" 105 110)
 ))
(17
 (
  ("(x 5)" 3 18)
  ("(x 4)" 18 22)
  ("(x 3)" 22 26)
  ("(x 2)" 26 47)
  ("(x 3)" 47 52)
  ("(x 4)" 52 57)
  ("(x 5)" 57 63)
  ("(x 6)" 63 84)
  ("(x 5)" 84 87)
  ("(x 4)" 87 89)
  ("(x 3)" 89 90)
  ("(x 2)" 90 93)
  ("(x 1)" 93 111)
  ("(x stable)" 4 12)
  ("(x up)" 12 36)
  ("(x stable)" 36 39)
  ("(x down)" 39 74)
  ("(x stable)" 74 78)
  ("(x up)" 78 101)
  ("(x stable)" 101 108)
  ("(x up)" 108 111)
  ("(y 1)" 3 38)
  ("(y 2)" 38 48)
  ("(y 3)" 48 54)
  ("(y 4)" 54 61)
  ("(y 5)" 61 76)
  ("(y 6)" 76 111)
  ("(y stable)" 4 16)
  ("(y down)" 16 86)
  ("(y stable)" 86 89)
  ("(y up)" 89 99)
  ("(y stable)" 99 111)
 ))
(18
 (
  ("(x 6)" 3 14)
  ("(x 5)" 14 18)
  ("(x 4)" 18 21)
  ("(x 3)" 21 24)
  ("(x 2)" 24 35)
  ("(x 3)" 35 39)
  ("(x 4)" 39 43)
  ("(x 5)" 43 68)
  ("(x 4)" 68 72)
  ("(x 3)" 72 76)
  ("(x 2)" 76 83)
  ("(x 1)" 83 97)
  ("(x 6)" 113 120)
  ("(x 5)" 120 122)
  ("(x 4)" 122 124)
  ("(x 3)" 124 126)
  ("(x 2)" 126 128)
  ("(x 1)" 128 138)
  ("(x stable)" 4 7)
  ("(x up)" 7 30)
  ("(x stable)" 30 31)
  ("(x down)" 31 55)
  ("(x stable)" 55 57)
  ("(x up)" 57 96)
  ("(x stable)" 96 97)
  ("(x up)" 114 137)
  ("(x stable)" 137 138)
  ("(y 1)" 3 32)
  ("(y 2)" 32 38)
  ("(y 3)" 38 43)
  ("(y 4)" 43 48)
  ("(y 5)" 48 57)
  ("(y 6)" 57 90)
  ("(y 5)" 90 97)
  ("(y 3)" 113 122)
  ("(y 2)" 122 138)
  ("(y stable)" 4 14)
  ("(y down)" 14 69)
  ("(y stable)" 69 73)
  ("(y up)" 73 97)
  ("(y stable)" 114 117)
  ("(y up)" 117 132)
  ("(y stable)" 132 136)
  ("(y down)" 136 138)
 ))
(19
 (
  ("(x 5)" 3 16)
  ("(x 4)" 16 20)
  ("(x 3)" 20 22)
  ("(x 2)" 22 26)
  ("(x 1)" 26 40)
  ("(x 2)" 40 43)
  ("(x 3)" 43 45)
  ("(x 4)" 45 47)
  ("(x 5)" 47 51)
  ("(x 6)" 51 66)
  ("(x 5)" 66 70)
  ("(x 4)" 70 72)
  ("(x 3)" 72 74)
  ("(x 2)" 74 77)
  ("(x 1)" 77 84)
  ("(x stable)" 4 9)
  ("(x up)" 9 34)
  ("(x down)" 34 60)
  ("(x up)" 60 84)
  ("(y 1)" 3 25)
  ("(y 2)" 25 40)
  ("(y 3)" 40 45)
  ("(y 4)" 45 50)
  ("(y 5)" 50 59)
  ("(y 6)" 59 84)
  ("(y stable)" 4 9)
  ("(y down)" 9 70)
  ("(y stable)" 70 71)
  ("(y up)" 71 84)
 ))
(20
 (
  ("(x 6)" 3 18)
  ("(x 5)" 18 22)
  ("(x 4)" 22 25)
  ("(x 3)" 25 28)
  ("(x 2)" 28 35)
  ("(x 1)" 35 50)
  ("(x 2)" 50 54)
  ("(x 3)" 54 58)
  ("(x 4)" 58 62)
  ("(x 5)" 62 71)
  ("(x 6)" 71 84)
  ("(x 5)" 84 89)
  ("(x 4)" 89 91)
  ("(x 3)" 91 93)
  ("(x 2)" 93 97)
  ("(x 1)" 97 113)
  ("(x down)" 4 6)
  ("(x stable)" 6 8)
  ("(x up)" 8 44)
  ("(x stable)" 44 45)
  ("(x down)" 45 78)
  ("(x stable)" 78 79)
  ("(x up)" 79 113)
  ("(y 1)" 3 38)
  ("(y 2)" 38 51)
  ("(y 3)" 51 57)
  ("(y 4)" 57 65)
  ("(y 5)" 65 77)
  ("(y 6)" 77 113)
  ("(y stable)" 4 27)
  ("(y down)" 27 90)
  ("(y stable)" 90 92)
  ("(y up)" 92 102)
  ("(y stable)" 102 113)
 ))
(21
 (
  ("(x 6)" 3 28)
  ("(x 5)" 28 32)
  ("(x 4)" 32 34)
  ("(x 3)" 34 36)
  ("(x 2)" 36 40)
  ("(x 1)" 40 56)
  ("(x 2)" 56 62)
  ("(x 3)" 62 66)
  ("(x 4)" 66 71)
  ("(x 5)" 71 90)
  ("(x 4)" 90 93)
  ("(x 3)" 93 95)
  ("(x 2)" 95 98)
  ("(x 1)" 98 111)
  ("(x stable)" 4 25)
  ("(x up)" 25 48)
  ("(x stable)" 48 49)
  ("(x down)" 49 83)
  ("(x up)" 83 109)
  ("(x stable)" 109 110)
  ("(x down)" 110 111)
  ("(y 2)" 3 32)
  ("(y 1)" 32 50)
  ("(y 2)" 50 59)
  ("(y 3)" 59 64)
  ("(y 4)" 64 70)
  ("(y 5)" 70 78)
  ("(y 6)" 78 111)
  ("(y stable)" 4 25)
  ("(y up)" 25 39)
  ("(y stable)" 39 45)
  ("(y down)" 45 93)
  ("(y stable)" 93 95)
  ("(y up)" 95 105)
  ("(y stable)" 105 108)
  ("(y down)" 108 111)
 ))
(22
 (
  ("(x 6)" 3 14)
  ("(x 5)" 14 17)
  ("(x 4)" 17 19)
  ("(x 3)" 19 21)
  ("(x 2)" 21 38)
  ("(x 3)" 38 43)
  ("(x 4)" 43 49)
  ("(x 5)" 49 60)
  ("(x 6)" 60 66)
  ("(x 5)" 66 74)
  ("(x 4)" 74 77)
  ("(x 3)" 77 79)
  ("(x 2)" 79 82)
  ("(x 1)" 82 98)
  ("(x down)" 4 5)
  ("(x stable)" 5 6)
  ("(x up)" 6 28)
  ("(x stable)" 28 29)
  ("(x down)" 29 63)
  ("(x stable)" 63 64)
  ("(x up)" 64 91)
  ("(x stable)" 91 95)
  ("(x down)" 95 98)
  ("(y 1)" 3 33)
  ("(y 2)" 33 42)
  ("(y 3)" 42 48)
  ("(y 4)" 48 55)
  ("(y 5)" 55 67)
  ("(y 6)" 67 98)
  ("(y stable)" 4 14)
  ("(y up)" 14 21)
  ("(y down)" 21 77)
  ("(y stable)" 77 78)
  ("(y up)" 78 95)
  ("(y stable)" 95 98)
 ))
